1. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
3. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
4. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
